This notification is to advise you that the latest issue of IEEE Transactions on Software Engineering is currently available to view online. 


IEEE Transactions on Software Engineering 
June 2003, Vol. 29, No. 6 
http://computer.org/tse/ts2003/e6toc.htm 


PAPERS 

An Empirical Study of Speed and Communication in Globally Distributed Software Development 
J.D. Herbsleb and A. Mockus 

Using a Concept Lattice of Decomposition Slices for Program Understanding and Impact Analysis 
P. Tonella 

Heuristic Search + Local Model Checking in Selective mu-Calculus 
A. Santone 

Model-Checking Algorithms for Continuous-Time Markov Chains 
C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen 

Modeling Software Bidding Risks 
B. Kitchenham, L.M. Pickard, S. Linkman, and P.W. Jones 

Tool Support for Testing Concurrent Java Components 
B. Long, D. Hoffman, and P. Strooper 

SHORT PAPERS 

Comments on "Formal Methods Application: An Empirical Tale of Software Development" 
D.M. Berry and W.F. Tichy 

Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'" 
A.E. Kelly Sobel and M.R. Clarkson 

Comments on "On Object Systems and Behavior Inheritance" 
J.C. Chen and H.C. Jiau 

Response to "Comments on 'On Object Systems and Behavior Inheritance'" 
O. Kupferman and D. Harel --------------------------------------------------- 
If you wish to be removed from this mailing list, send a message to listserv@computer.org with the following text in the body of the message: 

unsubscribe tse_subscribers 

---------------------------------------------------